Showing 1 - 4 of 4 Results
1.
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Confer... by Abdulla, Parosh Aziz, Leino... ISBN: 9783642198342 List Price: $95.00
2.
Rechability Problems : 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26... by Abdulla, Parosh Aziz, Potap... ISBN: 9783642410352 List Price: $72.00
3.
Networked Systems : 4th International Conference, Netys 2016, Marrakech, Morocco, May 18-20,... by Abdulla, Parosh Aziz, Delpo... ISBN: 9783319461397 List Price: $84.00
4.
Reachability Problems : 7th International Workshop, Rp 2013, Uppsala, Sweden, September 24-2... by Abdulla, Parosh Aziz, Potap... ISBN: 9783642410376 List Price: $24.99